:-['tools.pro','globalConstraints.pro','pairwisegenerator.pro' ].
:-use_module(library(atts)). 
:- attribute ftAttr/2 , lstAttr/1.
verify_attributes(Var, Other, Goals).
a(atrim,atrim,[and,1,2]).
a(atrim,acolor,[null,0,2]).
a(atrim,aderived,[null,0,2]).
a(atrim,aaccessories,[null,0,2]).
a(atrim,agrade,[and,1,3]).
a(atrim,aengine,[and,1,3]).
a(atrim,adrive,[and,1,3]).
a(atrim,apsgrcount,[and,1,3]).
a(atrim,amodelcode,[and,1,3]).
a(atrim,abase,[and,1,4]).
a(atrim,ale,[and,1,4]).
a(atrim,ase,[and,1,4]).
a(atrim,axle,[and,1,4]).
a(atrim,altd,[and,1,4]).
a(atrim,axlenavigationpackage,[and,1,5]).
a(atrim,axlepremiumpackage,[and,1,5]).
a(atrim,al4,[and,1,4]).
a(atrim,av6,[and,1,4]).
a(atrim,a2wd,[and,1,4]).
a(atrim,aawd,[and,1,4]).
a(atrim,a7psgr,[and,1,4]).
a(atrim,a8psgr,[and,1,4]).
a(atrim,a5312,[and,1,4]).
a(atrim,a5328,[and,1,4]).
a(atrim,aexteriorcolor,[null,0,3]).
a(atrim,ainteriorcolor,[null,0,3]).
a(atrim,asilverskymetallic,[null,0,4]).
a(atrim,asuperwhite,[null,0,4]).
a(atrim,ablizzardpearl,[null,0,4]).
a(atrim,abisc,[null,0,4]).
a(atrim,agray,[null,0,4]).
a(atrim,acharcoal,[null,0,4]).
a(atrim,aantenna,[null,0,3]).
a(atrim,ainglass,[null,0,4]).
a(atrim,apole,[null,0,4]).
a(atrim,afloormats,[null,0,3]).
a(atrim,amudflaps,[null,0,3]).
a(atrim,asienna,[null,0,1]).
a(acolor,atrim,[null,0,2]).
a(acolor,acolor,[and,1,2]).
a(acolor,aderived,[null,0,2]).
a(acolor,aaccessories,[null,0,2]).
a(acolor,agrade,[null,0,3]).
a(acolor,aengine,[null,0,3]).
a(acolor,adrive,[null,0,3]).
a(acolor,apsgrcount,[null,0,3]).
a(acolor,amodelcode,[null,0,3]).
a(acolor,abase,[null,0,4]).
a(acolor,ale,[null,0,4]).
a(acolor,ase,[null,0,4]).
a(acolor,axle,[null,0,4]).
a(acolor,altd,[null,0,4]).
a(acolor,axlenavigationpackage,[null,0,5]).
a(acolor,axlepremiumpackage,[null,0,5]).
a(acolor,al4,[null,0,4]).
a(acolor,av6,[null,0,4]).
a(acolor,a2wd,[null,0,4]).
a(acolor,aawd,[null,0,4]).
a(acolor,a7psgr,[null,0,4]).
a(acolor,a8psgr,[null,0,4]).
a(acolor,a5312,[null,0,4]).
a(acolor,a5328,[null,0,4]).
a(acolor,aexteriorcolor,[and,1,3]).
a(acolor,ainteriorcolor,[and,1,3]).
a(acolor,asilverskymetallic,[and,1,4]).
a(acolor,asuperwhite,[and,1,4]).
a(acolor,ablizzardpearl,[and,1,4]).
a(acolor,abisc,[and,1,4]).
a(acolor,agray,[and,1,4]).
a(acolor,acharcoal,[and,1,4]).
a(acolor,aantenna,[null,0,3]).
a(acolor,ainglass,[null,0,4]).
a(acolor,apole,[null,0,4]).
a(acolor,afloormats,[null,0,3]).
a(acolor,amudflaps,[null,0,3]).
a(acolor,asienna,[null,0,1]).
a(aderived,atrim,[null,0,2]).
a(aderived,acolor,[null,0,2]).
a(aderived,aderived,[and,1,2]).
a(aderived,aaccessories,[null,0,2]).
a(aderived,agrade,[null,0,3]).
a(aderived,aengine,[null,0,3]).
a(aderived,adrive,[null,0,3]).
a(aderived,apsgrcount,[null,0,3]).
a(aderived,amodelcode,[null,0,3]).
a(aderived,abase,[null,0,4]).
a(aderived,ale,[null,0,4]).
a(aderived,ase,[null,0,4]).
a(aderived,axle,[null,0,4]).
a(aderived,altd,[null,0,4]).
a(aderived,axlenavigationpackage,[null,0,5]).
a(aderived,axlepremiumpackage,[null,0,5]).
a(aderived,al4,[null,0,4]).
a(aderived,av6,[null,0,4]).
a(aderived,a2wd,[null,0,4]).
a(aderived,aawd,[null,0,4]).
a(aderived,a7psgr,[null,0,4]).
a(aderived,a8psgr,[null,0,4]).
a(aderived,a5312,[null,0,4]).
a(aderived,a5328,[null,0,4]).
a(aderived,aexteriorcolor,[null,0,3]).
a(aderived,ainteriorcolor,[null,0,3]).
a(aderived,asilverskymetallic,[null,0,4]).
a(aderived,asuperwhite,[null,0,4]).
a(aderived,ablizzardpearl,[null,0,4]).
a(aderived,abisc,[null,0,4]).
a(aderived,agray,[null,0,4]).
a(aderived,acharcoal,[null,0,4]).
a(aderived,aantenna,[and,1,3]).
a(aderived,ainglass,[and,1,4]).
a(aderived,apole,[and,1,4]).
a(aderived,afloormats,[null,0,3]).
a(aderived,amudflaps,[null,0,3]).
a(aderived,asienna,[null,0,1]).
a(aaccessories,atrim,[null,0,2]).
a(aaccessories,acolor,[null,0,2]).
a(aaccessories,aderived,[null,0,2]).
a(aaccessories,aaccessories,[opt,1,2]).
a(aaccessories,agrade,[null,0,3]).
a(aaccessories,aengine,[null,0,3]).
a(aaccessories,adrive,[null,0,3]).
a(aaccessories,apsgrcount,[null,0,3]).
a(aaccessories,amodelcode,[null,0,3]).
a(aaccessories,abase,[null,0,4]).
a(aaccessories,ale,[null,0,4]).
a(aaccessories,ase,[null,0,4]).
a(aaccessories,axle,[null,0,4]).
a(aaccessories,altd,[null,0,4]).
a(aaccessories,axlenavigationpackage,[null,0,5]).
a(aaccessories,axlepremiumpackage,[null,0,5]).
a(aaccessories,al4,[null,0,4]).
a(aaccessories,av6,[null,0,4]).
a(aaccessories,a2wd,[null,0,4]).
a(aaccessories,aawd,[null,0,4]).
a(aaccessories,a7psgr,[null,0,4]).
a(aaccessories,a8psgr,[null,0,4]).
a(aaccessories,a5312,[null,0,4]).
a(aaccessories,a5328,[null,0,4]).
a(aaccessories,aexteriorcolor,[null,0,3]).
a(aaccessories,ainteriorcolor,[null,0,3]).
a(aaccessories,asilverskymetallic,[null,0,4]).
a(aaccessories,asuperwhite,[null,0,4]).
a(aaccessories,ablizzardpearl,[null,0,4]).
a(aaccessories,abisc,[null,0,4]).
a(aaccessories,agray,[null,0,4]).
a(aaccessories,acharcoal,[null,0,4]).
a(aaccessories,aantenna,[null,0,3]).
a(aaccessories,ainglass,[null,0,4]).
a(aaccessories,apole,[null,0,4]).
a(aaccessories,afloormats,[opt,1,3]).
a(aaccessories,amudflaps,[opt,1,3]).
a(aaccessories,asienna,[null,0,1]).
a(agrade,atrim,[and,1,3]).
a(agrade,acolor,[null,0,3]).
a(agrade,aderived,[null,0,3]).
a(agrade,aaccessories,[null,0,3]).
a(agrade,agrade,[xor,2,4]).
a(agrade,aengine,[and,1,4]).
a(agrade,adrive,[and,1,4]).
a(agrade,apsgrcount,[and,1,4]).
a(agrade,amodelcode,[and,1,4]).
a(agrade,abase,[xor,2,5]).
a(agrade,ale,[xor,2,5]).
a(agrade,ase,[xor,2,5]).
a(agrade,axle,[xor,2,5]).
a(agrade,altd,[xor,2,5]).
a(agrade,axlenavigationpackage,[xor,2,6]).
a(agrade,axlepremiumpackage,[xor,2,6]).
a(agrade,al4,[and,1,5]).
a(agrade,av6,[and,1,5]).
a(agrade,a2wd,[and,1,5]).
a(agrade,aawd,[and,1,5]).
a(agrade,a7psgr,[and,1,5]).
a(agrade,a8psgr,[and,1,5]).
a(agrade,a5312,[and,1,5]).
a(agrade,a5328,[and,1,5]).
a(agrade,aexteriorcolor,[and,0,4]).
a(agrade,ainteriorcolor,[and,0,4]).
a(agrade,asilverskymetallic,[and,0,5]).
a(agrade,asuperwhite,[and,0,5]).
a(agrade,ablizzardpearl,[and,0,5]).
a(agrade,abisc,[and,0,5]).
a(agrade,agray,[and,0,5]).
a(agrade,acharcoal,[and,0,5]).
a(agrade,aantenna,[and,0,4]).
a(agrade,ainglass,[and,0,5]).
a(agrade,apole,[and,0,5]).
a(agrade,afloormats,[null,0,4]).
a(agrade,amudflaps,[null,0,4]).
a(agrade,asienna,[null,0,2]).
a(aengine,atrim,[and,1,3]).
a(aengine,acolor,[null,0,3]).
a(aengine,aderived,[null,0,3]).
a(aengine,aaccessories,[null,0,3]).
a(aengine,agrade,[and,1,4]).
a(aengine,aengine,[xor,2,4]).
a(aengine,adrive,[and,1,4]).
a(aengine,apsgrcount,[and,1,4]).
a(aengine,amodelcode,[and,1,4]).
a(aengine,abase,[and,1,5]).
a(aengine,ale,[and,1,5]).
a(aengine,ase,[and,1,5]).
a(aengine,axle,[and,1,5]).
a(aengine,altd,[and,1,5]).
a(aengine,axlenavigationpackage,[and,1,6]).
a(aengine,axlepremiumpackage,[and,1,6]).
a(aengine,al4,[xor,2,5]).
a(aengine,av6,[xor,2,5]).
a(aengine,a2wd,[and,1,5]).
a(aengine,aawd,[and,1,5]).
a(aengine,a7psgr,[and,1,5]).
a(aengine,a8psgr,[and,1,5]).
a(aengine,a5312,[and,1,5]).
a(aengine,a5328,[and,1,5]).
a(aengine,aexteriorcolor,[and,0,4]).
a(aengine,ainteriorcolor,[and,0,4]).
a(aengine,asilverskymetallic,[and,0,5]).
a(aengine,asuperwhite,[and,0,5]).
a(aengine,ablizzardpearl,[and,0,5]).
a(aengine,abisc,[and,0,5]).
a(aengine,agray,[and,0,5]).
a(aengine,acharcoal,[and,0,5]).
a(aengine,aantenna,[and,0,4]).
a(aengine,ainglass,[and,0,5]).
a(aengine,apole,[and,0,5]).
a(aengine,afloormats,[null,0,4]).
a(aengine,amudflaps,[null,0,4]).
a(aengine,asienna,[null,0,2]).
a(adrive,atrim,[and,1,3]).
a(adrive,acolor,[null,0,3]).
a(adrive,aderived,[null,0,3]).
a(adrive,aaccessories,[null,0,3]).
a(adrive,agrade,[and,1,4]).
a(adrive,aengine,[and,1,4]).
a(adrive,adrive,[xor,2,4]).
a(adrive,apsgrcount,[and,1,4]).
a(adrive,amodelcode,[and,1,4]).
a(adrive,abase,[and,1,5]).
a(adrive,ale,[and,1,5]).
a(adrive,ase,[and,1,5]).
a(adrive,axle,[and,1,5]).
a(adrive,altd,[and,1,5]).
a(adrive,axlenavigationpackage,[and,1,6]).
a(adrive,axlepremiumpackage,[and,1,6]).
a(adrive,al4,[and,1,5]).
a(adrive,av6,[and,1,5]).
a(adrive,a2wd,[xor,2,5]).
a(adrive,aawd,[xor,2,5]).
a(adrive,a7psgr,[and,1,5]).
a(adrive,a8psgr,[and,1,5]).
a(adrive,a5312,[and,1,5]).
a(adrive,a5328,[and,1,5]).
a(adrive,aexteriorcolor,[and,0,4]).
a(adrive,ainteriorcolor,[and,0,4]).
a(adrive,asilverskymetallic,[and,0,5]).
a(adrive,asuperwhite,[and,0,5]).
a(adrive,ablizzardpearl,[and,0,5]).
a(adrive,abisc,[and,0,5]).
a(adrive,agray,[and,0,5]).
a(adrive,acharcoal,[and,0,5]).
a(adrive,aantenna,[and,0,4]).
a(adrive,ainglass,[and,0,5]).
a(adrive,apole,[and,0,5]).
a(adrive,afloormats,[null,0,4]).
a(adrive,amudflaps,[null,0,4]).
a(adrive,asienna,[null,0,2]).
a(apsgrcount,atrim,[and,1,3]).
a(apsgrcount,acolor,[null,0,3]).
a(apsgrcount,aderived,[null,0,3]).
a(apsgrcount,aaccessories,[null,0,3]).
a(apsgrcount,agrade,[and,1,4]).
a(apsgrcount,aengine,[and,1,4]).
a(apsgrcount,adrive,[and,1,4]).
a(apsgrcount,apsgrcount,[xor,2,4]).
a(apsgrcount,amodelcode,[and,1,4]).
a(apsgrcount,abase,[and,1,5]).
a(apsgrcount,ale,[and,1,5]).
a(apsgrcount,ase,[and,1,5]).
a(apsgrcount,axle,[and,1,5]).
a(apsgrcount,altd,[and,1,5]).
a(apsgrcount,axlenavigationpackage,[and,1,6]).
a(apsgrcount,axlepremiumpackage,[and,1,6]).
a(apsgrcount,al4,[and,1,5]).
a(apsgrcount,av6,[and,1,5]).
a(apsgrcount,a2wd,[and,1,5]).
a(apsgrcount,aawd,[and,1,5]).
a(apsgrcount,a7psgr,[xor,2,5]).
a(apsgrcount,a8psgr,[xor,2,5]).
a(apsgrcount,a5312,[and,1,5]).
a(apsgrcount,a5328,[and,1,5]).
a(apsgrcount,aexteriorcolor,[and,0,4]).
a(apsgrcount,ainteriorcolor,[and,0,4]).
a(apsgrcount,asilverskymetallic,[and,0,5]).
a(apsgrcount,asuperwhite,[and,0,5]).
a(apsgrcount,ablizzardpearl,[and,0,5]).
a(apsgrcount,abisc,[and,0,5]).
a(apsgrcount,agray,[and,0,5]).
a(apsgrcount,acharcoal,[and,0,5]).
a(apsgrcount,aantenna,[and,0,4]).
a(apsgrcount,ainglass,[and,0,5]).
a(apsgrcount,apole,[and,0,5]).
a(apsgrcount,afloormats,[null,0,4]).
a(apsgrcount,amudflaps,[null,0,4]).
a(apsgrcount,asienna,[null,0,2]).
a(amodelcode,atrim,[and,1,3]).
a(amodelcode,acolor,[null,0,3]).
a(amodelcode,aderived,[null,0,3]).
a(amodelcode,aaccessories,[null,0,3]).
a(amodelcode,agrade,[and,1,4]).
a(amodelcode,aengine,[and,1,4]).
a(amodelcode,adrive,[and,1,4]).
a(amodelcode,apsgrcount,[and,1,4]).
a(amodelcode,amodelcode,[xor,2,4]).
a(amodelcode,abase,[and,1,5]).
a(amodelcode,ale,[and,1,5]).
a(amodelcode,ase,[and,1,5]).
a(amodelcode,axle,[and,1,5]).
a(amodelcode,altd,[and,1,5]).
a(amodelcode,axlenavigationpackage,[and,1,6]).
a(amodelcode,axlepremiumpackage,[and,1,6]).
a(amodelcode,al4,[and,1,5]).
a(amodelcode,av6,[and,1,5]).
a(amodelcode,a2wd,[and,1,5]).
a(amodelcode,aawd,[and,1,5]).
a(amodelcode,a7psgr,[and,1,5]).
a(amodelcode,a8psgr,[and,1,5]).
a(amodelcode,a5312,[xor,2,5]).
a(amodelcode,a5328,[xor,2,5]).
a(amodelcode,aexteriorcolor,[and,0,4]).
a(amodelcode,ainteriorcolor,[and,0,4]).
a(amodelcode,asilverskymetallic,[and,0,5]).
a(amodelcode,asuperwhite,[and,0,5]).
a(amodelcode,ablizzardpearl,[and,0,5]).
a(amodelcode,abisc,[and,0,5]).
a(amodelcode,agray,[and,0,5]).
a(amodelcode,acharcoal,[and,0,5]).
a(amodelcode,aantenna,[and,0,4]).
a(amodelcode,ainglass,[and,0,5]).
a(amodelcode,apole,[and,0,5]).
a(amodelcode,afloormats,[null,0,4]).
a(amodelcode,amudflaps,[null,0,4]).
a(amodelcode,asienna,[null,0,2]).
a(abase,atrim,[and,1,4]).
a(abase,acolor,[null,0,4]).
a(abase,aderived,[null,0,4]).
a(abase,aaccessories,[null,0,4]).
a(abase,agrade,[xor,2,5]).
a(abase,aengine,[and,1,5]).
a(abase,adrive,[and,1,5]).
a(abase,apsgrcount,[and,1,5]).
a(abase,amodelcode,[and,1,5]).
a(abase,abase,[null,3,6]).
a(abase,ale,[xor,2,6]).
a(abase,ase,[xor,2,6]).
a(abase,axle,[xor,2,6]).
a(abase,altd,[xor,2,6]).
a(abase,axlenavigationpackage,[xor,2,7]).
a(abase,axlepremiumpackage,[xor,2,7]).
a(abase,al4,[and,1,6]).
a(abase,av6,[and,1,6]).
a(abase,a2wd,[and,1,6]).
a(abase,aawd,[and,1,6]).
a(abase,a7psgr,[and,1,6]).
a(abase,a8psgr,[and,1,6]).
a(abase,a5312,[and,1,6]).
a(abase,a5328,[and,1,6]).
a(abase,aexteriorcolor,[and,0,5]).
a(abase,ainteriorcolor,[and,0,5]).
a(abase,asilverskymetallic,[and,0,6]).
a(abase,asuperwhite,[and,0,6]).
a(abase,ablizzardpearl,[and,0,6]).
a(abase,abisc,[and,0,6]).
a(abase,agray,[and,0,6]).
a(abase,acharcoal,[and,0,6]).
a(abase,aantenna,[and,0,5]).
a(abase,ainglass,[and,0,6]).
a(abase,apole,[and,0,6]).
a(abase,afloormats,[null,0,5]).
a(abase,amudflaps,[null,0,5]).
a(abase,asienna,[null,0,3]).
a(ale,atrim,[and,1,4]).
a(ale,acolor,[null,0,4]).
a(ale,aderived,[null,0,4]).
a(ale,aaccessories,[null,0,4]).
a(ale,agrade,[xor,2,5]).
a(ale,aengine,[and,1,5]).
a(ale,adrive,[and,1,5]).
a(ale,apsgrcount,[and,1,5]).
a(ale,amodelcode,[and,1,5]).
a(ale,abase,[xor,2,6]).
a(ale,ale,[null,3,6]).
a(ale,ase,[xor,2,6]).
a(ale,axle,[xor,2,6]).
a(ale,altd,[xor,2,6]).
a(ale,axlenavigationpackage,[xor,2,7]).
a(ale,axlepremiumpackage,[xor,2,7]).
a(ale,al4,[and,1,6]).
a(ale,av6,[and,1,6]).
a(ale,a2wd,[and,1,6]).
a(ale,aawd,[and,1,6]).
a(ale,a7psgr,[and,1,6]).
a(ale,a8psgr,[and,1,6]).
a(ale,a5312,[and,1,6]).
a(ale,a5328,[and,1,6]).
a(ale,aexteriorcolor,[and,0,5]).
a(ale,ainteriorcolor,[and,0,5]).
a(ale,asilverskymetallic,[and,0,6]).
a(ale,asuperwhite,[and,0,6]).
a(ale,ablizzardpearl,[and,0,6]).
a(ale,abisc,[and,0,6]).
a(ale,agray,[and,0,6]).
a(ale,acharcoal,[and,0,6]).
a(ale,aantenna,[and,0,5]).
a(ale,ainglass,[and,0,6]).
a(ale,apole,[and,0,6]).
a(ale,afloormats,[null,0,5]).
a(ale,amudflaps,[null,0,5]).
a(ale,asienna,[null,0,3]).
a(ase,atrim,[and,1,4]).
a(ase,acolor,[null,0,4]).
a(ase,aderived,[null,0,4]).
a(ase,aaccessories,[null,0,4]).
a(ase,agrade,[xor,2,5]).
a(ase,aengine,[and,1,5]).
a(ase,adrive,[and,1,5]).
a(ase,apsgrcount,[and,1,5]).
a(ase,amodelcode,[and,1,5]).
a(ase,abase,[xor,2,6]).
a(ase,ale,[xor,2,6]).
a(ase,ase,[null,3,6]).
a(ase,axle,[xor,2,6]).
a(ase,altd,[xor,2,6]).
a(ase,axlenavigationpackage,[xor,2,7]).
a(ase,axlepremiumpackage,[xor,2,7]).
a(ase,al4,[and,1,6]).
a(ase,av6,[and,1,6]).
a(ase,a2wd,[and,1,6]).
a(ase,aawd,[and,1,6]).
a(ase,a7psgr,[and,1,6]).
a(ase,a8psgr,[and,1,6]).
a(ase,a5312,[and,1,6]).
a(ase,a5328,[and,1,6]).
a(ase,aexteriorcolor,[and,0,5]).
a(ase,ainteriorcolor,[and,0,5]).
a(ase,asilverskymetallic,[and,0,6]).
a(ase,asuperwhite,[and,0,6]).
a(ase,ablizzardpearl,[and,0,6]).
a(ase,abisc,[and,0,6]).
a(ase,agray,[and,0,6]).
a(ase,acharcoal,[and,0,6]).
a(ase,aantenna,[and,0,5]).
a(ase,ainglass,[and,0,6]).
a(ase,apole,[and,0,6]).
a(ase,afloormats,[null,0,5]).
a(ase,amudflaps,[null,0,5]).
a(ase,asienna,[null,0,3]).
a(axle,atrim,[and,1,4]).
a(axle,acolor,[null,0,4]).
a(axle,aderived,[null,0,4]).
a(axle,aaccessories,[null,0,4]).
a(axle,agrade,[xor,2,5]).
a(axle,aengine,[and,1,5]).
a(axle,adrive,[and,1,5]).
a(axle,apsgrcount,[and,1,5]).
a(axle,amodelcode,[and,1,5]).
a(axle,abase,[xor,2,6]).
a(axle,ale,[xor,2,6]).
a(axle,ase,[xor,2,6]).
a(axle,axle,[opt,3,6]).
a(axle,altd,[xor,2,6]).
a(axle,axlenavigationpackage,[opt,3,7]).
a(axle,axlepremiumpackage,[opt,3,7]).
a(axle,al4,[and,1,6]).
a(axle,av6,[and,1,6]).
a(axle,a2wd,[and,1,6]).
a(axle,aawd,[and,1,6]).
a(axle,a7psgr,[and,1,6]).
a(axle,a8psgr,[and,1,6]).
a(axle,a5312,[and,1,6]).
a(axle,a5328,[and,1,6]).
a(axle,aexteriorcolor,[and,0,5]).
a(axle,ainteriorcolor,[and,0,5]).
a(axle,asilverskymetallic,[and,0,6]).
a(axle,asuperwhite,[and,0,6]).
a(axle,ablizzardpearl,[and,0,6]).
a(axle,abisc,[and,0,6]).
a(axle,agray,[and,0,6]).
a(axle,acharcoal,[and,0,6]).
a(axle,aantenna,[and,0,5]).
a(axle,ainglass,[and,0,6]).
a(axle,apole,[and,0,6]).
a(axle,afloormats,[null,0,5]).
a(axle,amudflaps,[null,0,5]).
a(axle,asienna,[null,0,3]).
a(altd,atrim,[and,1,4]).
a(altd,acolor,[null,0,4]).
a(altd,aderived,[null,0,4]).
a(altd,aaccessories,[null,0,4]).
a(altd,agrade,[xor,2,5]).
a(altd,aengine,[and,1,5]).
a(altd,adrive,[and,1,5]).
a(altd,apsgrcount,[and,1,5]).
a(altd,amodelcode,[and,1,5]).
a(altd,abase,[xor,2,6]).
a(altd,ale,[xor,2,6]).
a(altd,ase,[xor,2,6]).
a(altd,axle,[xor,2,6]).
a(altd,altd,[null,3,6]).
a(altd,axlenavigationpackage,[xor,2,7]).
a(altd,axlepremiumpackage,[xor,2,7]).
a(altd,al4,[and,1,6]).
a(altd,av6,[and,1,6]).
a(altd,a2wd,[and,1,6]).
a(altd,aawd,[and,1,6]).
a(altd,a7psgr,[and,1,6]).
a(altd,a8psgr,[and,1,6]).
a(altd,a5312,[and,1,6]).
a(altd,a5328,[and,1,6]).
a(altd,aexteriorcolor,[and,0,5]).
a(altd,ainteriorcolor,[and,0,5]).
a(altd,asilverskymetallic,[and,0,6]).
a(altd,asuperwhite,[and,0,6]).
a(altd,ablizzardpearl,[and,0,6]).
a(altd,abisc,[and,0,6]).
a(altd,agray,[and,0,6]).
a(altd,acharcoal,[and,0,6]).
a(altd,aantenna,[and,0,5]).
a(altd,ainglass,[and,0,6]).
a(altd,apole,[and,0,6]).
a(altd,afloormats,[null,0,5]).
a(altd,amudflaps,[null,0,5]).
a(altd,asienna,[null,0,3]).
a(axlenavigationpackage,atrim,[and,1,5]).
a(axlenavigationpackage,acolor,[null,0,5]).
a(axlenavigationpackage,aderived,[null,0,5]).
a(axlenavigationpackage,aaccessories,[null,0,5]).
a(axlenavigationpackage,agrade,[xor,2,6]).
a(axlenavigationpackage,aengine,[and,1,6]).
a(axlenavigationpackage,adrive,[and,1,6]).
a(axlenavigationpackage,apsgrcount,[and,1,6]).
a(axlenavigationpackage,amodelcode,[and,1,6]).
a(axlenavigationpackage,abase,[xor,2,7]).
a(axlenavigationpackage,ale,[xor,2,7]).
a(axlenavigationpackage,ase,[xor,2,7]).
a(axlenavigationpackage,axle,[opt,3,7]).
a(axlenavigationpackage,altd,[xor,2,7]).
a(axlenavigationpackage,axlenavigationpackage,[null,4,8]).
a(axlenavigationpackage,axlepremiumpackage,[opt,3,8]).
a(axlenavigationpackage,al4,[and,1,7]).
a(axlenavigationpackage,av6,[and,1,7]).
a(axlenavigationpackage,a2wd,[and,1,7]).
a(axlenavigationpackage,aawd,[and,1,7]).
a(axlenavigationpackage,a7psgr,[and,1,7]).
a(axlenavigationpackage,a8psgr,[and,1,7]).
a(axlenavigationpackage,a5312,[and,1,7]).
a(axlenavigationpackage,a5328,[and,1,7]).
a(axlenavigationpackage,aexteriorcolor,[and,0,6]).
a(axlenavigationpackage,ainteriorcolor,[and,0,6]).
a(axlenavigationpackage,asilverskymetallic,[and,0,7]).
a(axlenavigationpackage,asuperwhite,[and,0,7]).
a(axlenavigationpackage,ablizzardpearl,[and,0,7]).
a(axlenavigationpackage,abisc,[and,0,7]).
a(axlenavigationpackage,agray,[and,0,7]).
a(axlenavigationpackage,acharcoal,[and,0,7]).
a(axlenavigationpackage,aantenna,[and,0,6]).
a(axlenavigationpackage,ainglass,[and,0,7]).
a(axlenavigationpackage,apole,[and,0,7]).
a(axlenavigationpackage,afloormats,[null,0,6]).
a(axlenavigationpackage,amudflaps,[null,0,6]).
a(axlenavigationpackage,asienna,[null,0,4]).
a(axlepremiumpackage,atrim,[and,1,5]).
a(axlepremiumpackage,acolor,[null,0,5]).
a(axlepremiumpackage,aderived,[null,0,5]).
a(axlepremiumpackage,aaccessories,[null,0,5]).
a(axlepremiumpackage,agrade,[xor,2,6]).
a(axlepremiumpackage,aengine,[and,1,6]).
a(axlepremiumpackage,adrive,[and,1,6]).
a(axlepremiumpackage,apsgrcount,[and,1,6]).
a(axlepremiumpackage,amodelcode,[and,1,6]).
a(axlepremiumpackage,abase,[xor,2,7]).
a(axlepremiumpackage,ale,[xor,2,7]).
a(axlepremiumpackage,ase,[xor,2,7]).
a(axlepremiumpackage,axle,[opt,3,7]).
a(axlepremiumpackage,altd,[xor,2,7]).
a(axlepremiumpackage,axlenavigationpackage,[opt,3,8]).
a(axlepremiumpackage,axlepremiumpackage,[null,4,8]).
a(axlepremiumpackage,al4,[and,1,7]).
a(axlepremiumpackage,av6,[and,1,7]).
a(axlepremiumpackage,a2wd,[and,1,7]).
a(axlepremiumpackage,aawd,[and,1,7]).
a(axlepremiumpackage,a7psgr,[and,1,7]).
a(axlepremiumpackage,a8psgr,[and,1,7]).
a(axlepremiumpackage,a5312,[and,1,7]).
a(axlepremiumpackage,a5328,[and,1,7]).
a(axlepremiumpackage,aexteriorcolor,[and,0,6]).
a(axlepremiumpackage,ainteriorcolor,[and,0,6]).
a(axlepremiumpackage,asilverskymetallic,[and,0,7]).
a(axlepremiumpackage,asuperwhite,[and,0,7]).
a(axlepremiumpackage,ablizzardpearl,[and,0,7]).
a(axlepremiumpackage,abisc,[and,0,7]).
a(axlepremiumpackage,agray,[and,0,7]).
a(axlepremiumpackage,acharcoal,[and,0,7]).
a(axlepremiumpackage,aantenna,[and,0,6]).
a(axlepremiumpackage,ainglass,[and,0,7]).
a(axlepremiumpackage,apole,[and,0,7]).
a(axlepremiumpackage,afloormats,[null,0,6]).
a(axlepremiumpackage,amudflaps,[null,0,6]).
a(axlepremiumpackage,asienna,[null,0,4]).
a(al4,atrim,[and,1,4]).
a(al4,acolor,[null,0,4]).
a(al4,aderived,[null,0,4]).
a(al4,aaccessories,[null,0,4]).
a(al4,agrade,[and,1,5]).
a(al4,aengine,[xor,2,5]).
a(al4,adrive,[and,1,5]).
a(al4,apsgrcount,[and,1,5]).
a(al4,amodelcode,[and,1,5]).
a(al4,abase,[and,1,6]).
a(al4,ale,[and,1,6]).
a(al4,ase,[and,1,6]).
a(al4,axle,[and,1,6]).
a(al4,altd,[and,1,6]).
a(al4,axlenavigationpackage,[and,1,7]).
a(al4,axlepremiumpackage,[and,1,7]).
a(al4,al4,[null,3,6]).
a(al4,av6,[xor,2,6]).
a(al4,a2wd,[and,1,6]).
a(al4,aawd,[and,1,6]).
a(al4,a7psgr,[and,1,6]).
a(al4,a8psgr,[and,1,6]).
a(al4,a5312,[and,1,6]).
a(al4,a5328,[and,1,6]).
a(al4,aexteriorcolor,[and,0,5]).
a(al4,ainteriorcolor,[and,0,5]).
a(al4,asilverskymetallic,[and,0,6]).
a(al4,asuperwhite,[and,0,6]).
a(al4,ablizzardpearl,[and,0,6]).
a(al4,abisc,[and,0,6]).
a(al4,agray,[and,0,6]).
a(al4,acharcoal,[and,0,6]).
a(al4,aantenna,[and,0,5]).
a(al4,ainglass,[and,0,6]).
a(al4,apole,[and,0,6]).
a(al4,afloormats,[null,0,5]).
a(al4,amudflaps,[null,0,5]).
a(al4,asienna,[null,0,3]).
a(av6,atrim,[and,1,4]).
a(av6,acolor,[null,0,4]).
a(av6,aderived,[null,0,4]).
a(av6,aaccessories,[null,0,4]).
a(av6,agrade,[and,1,5]).
a(av6,aengine,[xor,2,5]).
a(av6,adrive,[and,1,5]).
a(av6,apsgrcount,[and,1,5]).
a(av6,amodelcode,[and,1,5]).
a(av6,abase,[and,1,6]).
a(av6,ale,[and,1,6]).
a(av6,ase,[and,1,6]).
a(av6,axle,[and,1,6]).
a(av6,altd,[and,1,6]).
a(av6,axlenavigationpackage,[and,1,7]).
a(av6,axlepremiumpackage,[and,1,7]).
a(av6,al4,[xor,2,6]).
a(av6,av6,[null,3,6]).
a(av6,a2wd,[and,1,6]).
a(av6,aawd,[and,1,6]).
a(av6,a7psgr,[and,1,6]).
a(av6,a8psgr,[and,1,6]).
a(av6,a5312,[and,1,6]).
a(av6,a5328,[and,1,6]).
a(av6,aexteriorcolor,[and,0,5]).
a(av6,ainteriorcolor,[and,0,5]).
a(av6,asilverskymetallic,[and,0,6]).
a(av6,asuperwhite,[and,0,6]).
a(av6,ablizzardpearl,[and,0,6]).
a(av6,abisc,[and,0,6]).
a(av6,agray,[and,0,6]).
a(av6,acharcoal,[and,0,6]).
a(av6,aantenna,[and,0,5]).
a(av6,ainglass,[and,0,6]).
a(av6,apole,[and,0,6]).
a(av6,afloormats,[null,0,5]).
a(av6,amudflaps,[null,0,5]).
a(av6,asienna,[null,0,3]).
a(a2wd,atrim,[and,1,4]).
a(a2wd,acolor,[null,0,4]).
a(a2wd,aderived,[null,0,4]).
a(a2wd,aaccessories,[null,0,4]).
a(a2wd,agrade,[and,1,5]).
a(a2wd,aengine,[and,1,5]).
a(a2wd,adrive,[xor,2,5]).
a(a2wd,apsgrcount,[and,1,5]).
a(a2wd,amodelcode,[and,1,5]).
a(a2wd,abase,[and,1,6]).
a(a2wd,ale,[and,1,6]).
a(a2wd,ase,[and,1,6]).
a(a2wd,axle,[and,1,6]).
a(a2wd,altd,[and,1,6]).
a(a2wd,axlenavigationpackage,[and,1,7]).
a(a2wd,axlepremiumpackage,[and,1,7]).
a(a2wd,al4,[and,1,6]).
a(a2wd,av6,[and,1,6]).
a(a2wd,a2wd,[null,3,6]).
a(a2wd,aawd,[xor,2,6]).
a(a2wd,a7psgr,[and,1,6]).
a(a2wd,a8psgr,[and,1,6]).
a(a2wd,a5312,[and,1,6]).
a(a2wd,a5328,[and,1,6]).
a(a2wd,aexteriorcolor,[and,0,5]).
a(a2wd,ainteriorcolor,[and,0,5]).
a(a2wd,asilverskymetallic,[and,0,6]).
a(a2wd,asuperwhite,[and,0,6]).
a(a2wd,ablizzardpearl,[and,0,6]).
a(a2wd,abisc,[and,0,6]).
a(a2wd,agray,[and,0,6]).
a(a2wd,acharcoal,[and,0,6]).
a(a2wd,aantenna,[and,0,5]).
a(a2wd,ainglass,[and,0,6]).
a(a2wd,apole,[and,0,6]).
a(a2wd,afloormats,[null,0,5]).
a(a2wd,amudflaps,[null,0,5]).
a(a2wd,asienna,[null,0,3]).
a(aawd,atrim,[and,1,4]).
a(aawd,acolor,[null,0,4]).
a(aawd,aderived,[null,0,4]).
a(aawd,aaccessories,[null,0,4]).
a(aawd,agrade,[and,1,5]).
a(aawd,aengine,[and,1,5]).
a(aawd,adrive,[xor,2,5]).
a(aawd,apsgrcount,[and,1,5]).
a(aawd,amodelcode,[and,1,5]).
a(aawd,abase,[and,1,6]).
a(aawd,ale,[and,1,6]).
a(aawd,ase,[and,1,6]).
a(aawd,axle,[and,1,6]).
a(aawd,altd,[and,1,6]).
a(aawd,axlenavigationpackage,[and,1,7]).
a(aawd,axlepremiumpackage,[and,1,7]).
a(aawd,al4,[and,1,6]).
a(aawd,av6,[and,1,6]).
a(aawd,a2wd,[xor,2,6]).
a(aawd,aawd,[null,3,6]).
a(aawd,a7psgr,[and,1,6]).
a(aawd,a8psgr,[and,1,6]).
a(aawd,a5312,[and,1,6]).
a(aawd,a5328,[and,1,6]).
a(aawd,aexteriorcolor,[and,0,5]).
a(aawd,ainteriorcolor,[and,0,5]).
a(aawd,asilverskymetallic,[and,0,6]).
a(aawd,asuperwhite,[and,0,6]).
a(aawd,ablizzardpearl,[and,0,6]).
a(aawd,abisc,[and,0,6]).
a(aawd,agray,[and,0,6]).
a(aawd,acharcoal,[and,0,6]).
a(aawd,aantenna,[and,0,5]).
a(aawd,ainglass,[and,0,6]).
a(aawd,apole,[and,0,6]).
a(aawd,afloormats,[null,0,5]).
a(aawd,amudflaps,[null,0,5]).
a(aawd,asienna,[null,0,3]).
a(a7psgr,atrim,[and,1,4]).
a(a7psgr,acolor,[null,0,4]).
a(a7psgr,aderived,[null,0,4]).
a(a7psgr,aaccessories,[null,0,4]).
a(a7psgr,agrade,[and,1,5]).
a(a7psgr,aengine,[and,1,5]).
a(a7psgr,adrive,[and,1,5]).
a(a7psgr,apsgrcount,[xor,2,5]).
a(a7psgr,amodelcode,[and,1,5]).
a(a7psgr,abase,[and,1,6]).
a(a7psgr,ale,[and,1,6]).
a(a7psgr,ase,[and,1,6]).
a(a7psgr,axle,[and,1,6]).
a(a7psgr,altd,[and,1,6]).
a(a7psgr,axlenavigationpackage,[and,1,7]).
a(a7psgr,axlepremiumpackage,[and,1,7]).
a(a7psgr,al4,[and,1,6]).
a(a7psgr,av6,[and,1,6]).
a(a7psgr,a2wd,[and,1,6]).
a(a7psgr,aawd,[and,1,6]).
a(a7psgr,a7psgr,[null,3,6]).
a(a7psgr,a8psgr,[xor,2,6]).
a(a7psgr,a5312,[and,1,6]).
a(a7psgr,a5328,[and,1,6]).
a(a7psgr,aexteriorcolor,[and,0,5]).
a(a7psgr,ainteriorcolor,[and,0,5]).
a(a7psgr,asilverskymetallic,[and,0,6]).
a(a7psgr,asuperwhite,[and,0,6]).
a(a7psgr,ablizzardpearl,[and,0,6]).
a(a7psgr,abisc,[and,0,6]).
a(a7psgr,agray,[and,0,6]).
a(a7psgr,acharcoal,[and,0,6]).
a(a7psgr,aantenna,[and,0,5]).
a(a7psgr,ainglass,[and,0,6]).
a(a7psgr,apole,[and,0,6]).
a(a7psgr,afloormats,[null,0,5]).
a(a7psgr,amudflaps,[null,0,5]).
a(a7psgr,asienna,[null,0,3]).
a(a8psgr,atrim,[and,1,4]).
a(a8psgr,acolor,[null,0,4]).
a(a8psgr,aderived,[null,0,4]).
a(a8psgr,aaccessories,[null,0,4]).
a(a8psgr,agrade,[and,1,5]).
a(a8psgr,aengine,[and,1,5]).
a(a8psgr,adrive,[and,1,5]).
a(a8psgr,apsgrcount,[xor,2,5]).
a(a8psgr,amodelcode,[and,1,5]).
a(a8psgr,abase,[and,1,6]).
a(a8psgr,ale,[and,1,6]).
a(a8psgr,ase,[and,1,6]).
a(a8psgr,axle,[and,1,6]).
a(a8psgr,altd,[and,1,6]).
a(a8psgr,axlenavigationpackage,[and,1,7]).
a(a8psgr,axlepremiumpackage,[and,1,7]).
a(a8psgr,al4,[and,1,6]).
a(a8psgr,av6,[and,1,6]).
a(a8psgr,a2wd,[and,1,6]).
a(a8psgr,aawd,[and,1,6]).
a(a8psgr,a7psgr,[xor,2,6]).
a(a8psgr,a8psgr,[null,3,6]).
a(a8psgr,a5312,[and,1,6]).
a(a8psgr,a5328,[and,1,6]).
a(a8psgr,aexteriorcolor,[and,0,5]).
a(a8psgr,ainteriorcolor,[and,0,5]).
a(a8psgr,asilverskymetallic,[and,0,6]).
a(a8psgr,asuperwhite,[and,0,6]).
a(a8psgr,ablizzardpearl,[and,0,6]).
a(a8psgr,abisc,[and,0,6]).
a(a8psgr,agray,[and,0,6]).
a(a8psgr,acharcoal,[and,0,6]).
a(a8psgr,aantenna,[and,0,5]).
a(a8psgr,ainglass,[and,0,6]).
a(a8psgr,apole,[and,0,6]).
a(a8psgr,afloormats,[null,0,5]).
a(a8psgr,amudflaps,[null,0,5]).
a(a8psgr,asienna,[null,0,3]).
a(a5312,atrim,[and,1,4]).
a(a5312,acolor,[null,0,4]).
a(a5312,aderived,[null,0,4]).
a(a5312,aaccessories,[null,0,4]).
a(a5312,agrade,[and,1,5]).
a(a5312,aengine,[and,1,5]).
a(a5312,adrive,[and,1,5]).
a(a5312,apsgrcount,[and,1,5]).
a(a5312,amodelcode,[xor,2,5]).
a(a5312,abase,[and,1,6]).
a(a5312,ale,[and,1,6]).
a(a5312,ase,[and,1,6]).
a(a5312,axle,[and,1,6]).
a(a5312,altd,[and,1,6]).
a(a5312,axlenavigationpackage,[and,1,7]).
a(a5312,axlepremiumpackage,[and,1,7]).
a(a5312,al4,[and,1,6]).
a(a5312,av6,[and,1,6]).
a(a5312,a2wd,[and,1,6]).
a(a5312,aawd,[and,1,6]).
a(a5312,a7psgr,[and,1,6]).
a(a5312,a8psgr,[and,1,6]).
a(a5312,a5312,[null,3,6]).
a(a5312,a5328,[xor,2,6]).
a(a5312,aexteriorcolor,[and,0,5]).
a(a5312,ainteriorcolor,[and,0,5]).
a(a5312,asilverskymetallic,[and,0,6]).
a(a5312,asuperwhite,[and,0,6]).
a(a5312,ablizzardpearl,[and,0,6]).
a(a5312,abisc,[and,0,6]).
a(a5312,agray,[and,0,6]).
a(a5312,acharcoal,[and,0,6]).
a(a5312,aantenna,[and,0,5]).
a(a5312,ainglass,[and,0,6]).
a(a5312,apole,[and,0,6]).
a(a5312,afloormats,[null,0,5]).
a(a5312,amudflaps,[null,0,5]).
a(a5312,asienna,[null,0,3]).
a(a5328,atrim,[and,1,4]).
a(a5328,acolor,[null,0,4]).
a(a5328,aderived,[null,0,4]).
a(a5328,aaccessories,[null,0,4]).
a(a5328,agrade,[and,1,5]).
a(a5328,aengine,[and,1,5]).
a(a5328,adrive,[and,1,5]).
a(a5328,apsgrcount,[and,1,5]).
a(a5328,amodelcode,[xor,2,5]).
a(a5328,abase,[and,1,6]).
a(a5328,ale,[and,1,6]).
a(a5328,ase,[and,1,6]).
a(a5328,axle,[and,1,6]).
a(a5328,altd,[and,1,6]).
a(a5328,axlenavigationpackage,[and,1,7]).
a(a5328,axlepremiumpackage,[and,1,7]).
a(a5328,al4,[and,1,6]).
a(a5328,av6,[and,1,6]).
a(a5328,a2wd,[and,1,6]).
a(a5328,aawd,[and,1,6]).
a(a5328,a7psgr,[and,1,6]).
a(a5328,a8psgr,[and,1,6]).
a(a5328,a5312,[xor,2,6]).
a(a5328,a5328,[null,3,6]).
a(a5328,aexteriorcolor,[and,0,5]).
a(a5328,ainteriorcolor,[and,0,5]).
a(a5328,asilverskymetallic,[and,0,6]).
a(a5328,asuperwhite,[and,0,6]).
a(a5328,ablizzardpearl,[and,0,6]).
a(a5328,abisc,[and,0,6]).
a(a5328,agray,[and,0,6]).
a(a5328,acharcoal,[and,0,6]).
a(a5328,aantenna,[and,0,5]).
a(a5328,ainglass,[and,0,6]).
a(a5328,apole,[and,0,6]).
a(a5328,afloormats,[null,0,5]).
a(a5328,amudflaps,[null,0,5]).
a(a5328,asienna,[null,0,3]).
a(aexteriorcolor,atrim,[null,0,3]).
a(aexteriorcolor,acolor,[and,1,3]).
a(aexteriorcolor,aderived,[null,0,3]).
a(aexteriorcolor,aaccessories,[null,0,3]).
a(aexteriorcolor,agrade,[and,0,4]).
a(aexteriorcolor,aengine,[and,0,4]).
a(aexteriorcolor,adrive,[and,0,4]).
a(aexteriorcolor,apsgrcount,[and,0,4]).
a(aexteriorcolor,amodelcode,[and,0,4]).
a(aexteriorcolor,abase,[and,0,5]).
a(aexteriorcolor,ale,[and,0,5]).
a(aexteriorcolor,ase,[and,0,5]).
a(aexteriorcolor,axle,[and,0,5]).
a(aexteriorcolor,altd,[and,0,5]).
a(aexteriorcolor,axlenavigationpackage,[and,0,6]).
a(aexteriorcolor,axlepremiumpackage,[and,0,6]).
a(aexteriorcolor,al4,[and,0,5]).
a(aexteriorcolor,av6,[and,0,5]).
a(aexteriorcolor,a2wd,[and,0,5]).
a(aexteriorcolor,aawd,[and,0,5]).
a(aexteriorcolor,a7psgr,[and,0,5]).
a(aexteriorcolor,a8psgr,[and,0,5]).
a(aexteriorcolor,a5312,[and,0,5]).
a(aexteriorcolor,a5328,[and,0,5]).
a(aexteriorcolor,aexteriorcolor,[xor,2,4]).
a(aexteriorcolor,ainteriorcolor,[and,1,4]).
a(aexteriorcolor,asilverskymetallic,[xor,2,5]).
a(aexteriorcolor,asuperwhite,[xor,2,5]).
a(aexteriorcolor,ablizzardpearl,[xor,2,5]).
a(aexteriorcolor,abisc,[and,1,5]).
a(aexteriorcolor,agray,[and,1,5]).
a(aexteriorcolor,acharcoal,[and,1,5]).
a(aexteriorcolor,aantenna,[and,0,4]).
a(aexteriorcolor,ainglass,[and,0,5]).
a(aexteriorcolor,apole,[and,0,5]).
a(aexteriorcolor,afloormats,[null,0,4]).
a(aexteriorcolor,amudflaps,[null,0,4]).
a(aexteriorcolor,asienna,[null,0,2]).
a(ainteriorcolor,atrim,[null,0,3]).
a(ainteriorcolor,acolor,[and,1,3]).
a(ainteriorcolor,aderived,[null,0,3]).
a(ainteriorcolor,aaccessories,[null,0,3]).
a(ainteriorcolor,agrade,[and,0,4]).
a(ainteriorcolor,aengine,[and,0,4]).
a(ainteriorcolor,adrive,[and,0,4]).
a(ainteriorcolor,apsgrcount,[and,0,4]).
a(ainteriorcolor,amodelcode,[and,0,4]).
a(ainteriorcolor,abase,[and,0,5]).
a(ainteriorcolor,ale,[and,0,5]).
a(ainteriorcolor,ase,[and,0,5]).
a(ainteriorcolor,axle,[and,0,5]).
a(ainteriorcolor,altd,[and,0,5]).
a(ainteriorcolor,axlenavigationpackage,[and,0,6]).
a(ainteriorcolor,axlepremiumpackage,[and,0,6]).
a(ainteriorcolor,al4,[and,0,5]).
a(ainteriorcolor,av6,[and,0,5]).
a(ainteriorcolor,a2wd,[and,0,5]).
a(ainteriorcolor,aawd,[and,0,5]).
a(ainteriorcolor,a7psgr,[and,0,5]).
a(ainteriorcolor,a8psgr,[and,0,5]).
a(ainteriorcolor,a5312,[and,0,5]).
a(ainteriorcolor,a5328,[and,0,5]).
a(ainteriorcolor,aexteriorcolor,[and,1,4]).
a(ainteriorcolor,ainteriorcolor,[xor,2,4]).
a(ainteriorcolor,asilverskymetallic,[and,1,5]).
a(ainteriorcolor,asuperwhite,[and,1,5]).
a(ainteriorcolor,ablizzardpearl,[and,1,5]).
a(ainteriorcolor,abisc,[xor,2,5]).
a(ainteriorcolor,agray,[xor,2,5]).
a(ainteriorcolor,acharcoal,[xor,2,5]).
a(ainteriorcolor,aantenna,[and,0,4]).
a(ainteriorcolor,ainglass,[and,0,5]).
a(ainteriorcolor,apole,[and,0,5]).
a(ainteriorcolor,afloormats,[null,0,4]).
a(ainteriorcolor,amudflaps,[null,0,4]).
a(ainteriorcolor,asienna,[null,0,2]).
a(asilverskymetallic,atrim,[null,0,4]).
a(asilverskymetallic,acolor,[and,1,4]).
a(asilverskymetallic,aderived,[null,0,4]).
a(asilverskymetallic,aaccessories,[null,0,4]).
a(asilverskymetallic,agrade,[and,0,5]).
a(asilverskymetallic,aengine,[and,0,5]).
a(asilverskymetallic,adrive,[and,0,5]).
a(asilverskymetallic,apsgrcount,[and,0,5]).
a(asilverskymetallic,amodelcode,[and,0,5]).
a(asilverskymetallic,abase,[and,0,6]).
a(asilverskymetallic,ale,[and,0,6]).
a(asilverskymetallic,ase,[and,0,6]).
a(asilverskymetallic,axle,[and,0,6]).
a(asilverskymetallic,altd,[and,0,6]).
a(asilverskymetallic,axlenavigationpackage,[and,0,7]).
a(asilverskymetallic,axlepremiumpackage,[and,0,7]).
a(asilverskymetallic,al4,[and,0,6]).
a(asilverskymetallic,av6,[and,0,6]).
a(asilverskymetallic,a2wd,[and,0,6]).
a(asilverskymetallic,aawd,[and,0,6]).
a(asilverskymetallic,a7psgr,[and,0,6]).
a(asilverskymetallic,a8psgr,[and,0,6]).
a(asilverskymetallic,a5312,[and,0,6]).
a(asilverskymetallic,a5328,[and,0,6]).
a(asilverskymetallic,aexteriorcolor,[xor,2,5]).
a(asilverskymetallic,ainteriorcolor,[and,1,5]).
a(asilverskymetallic,asilverskymetallic,[null,3,6]).
a(asilverskymetallic,asuperwhite,[xor,2,6]).
a(asilverskymetallic,ablizzardpearl,[xor,2,6]).
a(asilverskymetallic,abisc,[and,1,6]).
a(asilverskymetallic,agray,[and,1,6]).
a(asilverskymetallic,acharcoal,[and,1,6]).
a(asilverskymetallic,aantenna,[and,0,5]).
a(asilverskymetallic,ainglass,[and,0,6]).
a(asilverskymetallic,apole,[and,0,6]).
a(asilverskymetallic,afloormats,[null,0,5]).
a(asilverskymetallic,amudflaps,[null,0,5]).
a(asilverskymetallic,asienna,[null,0,3]).
a(asuperwhite,atrim,[null,0,4]).
a(asuperwhite,acolor,[and,1,4]).
a(asuperwhite,aderived,[null,0,4]).
a(asuperwhite,aaccessories,[null,0,4]).
a(asuperwhite,agrade,[and,0,5]).
a(asuperwhite,aengine,[and,0,5]).
a(asuperwhite,adrive,[and,0,5]).
a(asuperwhite,apsgrcount,[and,0,5]).
a(asuperwhite,amodelcode,[and,0,5]).
a(asuperwhite,abase,[and,0,6]).
a(asuperwhite,ale,[and,0,6]).
a(asuperwhite,ase,[and,0,6]).
a(asuperwhite,axle,[and,0,6]).
a(asuperwhite,altd,[and,0,6]).
a(asuperwhite,axlenavigationpackage,[and,0,7]).
a(asuperwhite,axlepremiumpackage,[and,0,7]).
a(asuperwhite,al4,[and,0,6]).
a(asuperwhite,av6,[and,0,6]).
a(asuperwhite,a2wd,[and,0,6]).
a(asuperwhite,aawd,[and,0,6]).
a(asuperwhite,a7psgr,[and,0,6]).
a(asuperwhite,a8psgr,[and,0,6]).
a(asuperwhite,a5312,[and,0,6]).
a(asuperwhite,a5328,[and,0,6]).
a(asuperwhite,aexteriorcolor,[xor,2,5]).
a(asuperwhite,ainteriorcolor,[and,1,5]).
a(asuperwhite,asilverskymetallic,[xor,2,6]).
a(asuperwhite,asuperwhite,[null,3,6]).
a(asuperwhite,ablizzardpearl,[xor,2,6]).
a(asuperwhite,abisc,[and,1,6]).
a(asuperwhite,agray,[and,1,6]).
a(asuperwhite,acharcoal,[and,1,6]).
a(asuperwhite,aantenna,[and,0,5]).
a(asuperwhite,ainglass,[and,0,6]).
a(asuperwhite,apole,[and,0,6]).
a(asuperwhite,afloormats,[null,0,5]).
a(asuperwhite,amudflaps,[null,0,5]).
a(asuperwhite,asienna,[null,0,3]).
a(ablizzardpearl,atrim,[null,0,4]).
a(ablizzardpearl,acolor,[and,1,4]).
a(ablizzardpearl,aderived,[null,0,4]).
a(ablizzardpearl,aaccessories,[null,0,4]).
a(ablizzardpearl,agrade,[and,0,5]).
a(ablizzardpearl,aengine,[and,0,5]).
a(ablizzardpearl,adrive,[and,0,5]).
a(ablizzardpearl,apsgrcount,[and,0,5]).
a(ablizzardpearl,amodelcode,[and,0,5]).
a(ablizzardpearl,abase,[and,0,6]).
a(ablizzardpearl,ale,[and,0,6]).
a(ablizzardpearl,ase,[and,0,6]).
a(ablizzardpearl,axle,[and,0,6]).
a(ablizzardpearl,altd,[and,0,6]).
a(ablizzardpearl,axlenavigationpackage,[and,0,7]).
a(ablizzardpearl,axlepremiumpackage,[and,0,7]).
a(ablizzardpearl,al4,[and,0,6]).
a(ablizzardpearl,av6,[and,0,6]).
a(ablizzardpearl,a2wd,[and,0,6]).
a(ablizzardpearl,aawd,[and,0,6]).
a(ablizzardpearl,a7psgr,[and,0,6]).
a(ablizzardpearl,a8psgr,[and,0,6]).
a(ablizzardpearl,a5312,[and,0,6]).
a(ablizzardpearl,a5328,[and,0,6]).
a(ablizzardpearl,aexteriorcolor,[xor,2,5]).
a(ablizzardpearl,ainteriorcolor,[and,1,5]).
a(ablizzardpearl,asilverskymetallic,[xor,2,6]).
a(ablizzardpearl,asuperwhite,[xor,2,6]).
a(ablizzardpearl,ablizzardpearl,[null,3,6]).
a(ablizzardpearl,abisc,[and,1,6]).
a(ablizzardpearl,agray,[and,1,6]).
a(ablizzardpearl,acharcoal,[and,1,6]).
a(ablizzardpearl,aantenna,[and,0,5]).
a(ablizzardpearl,ainglass,[and,0,6]).
a(ablizzardpearl,apole,[and,0,6]).
a(ablizzardpearl,afloormats,[null,0,5]).
a(ablizzardpearl,amudflaps,[null,0,5]).
a(ablizzardpearl,asienna,[null,0,3]).
a(abisc,atrim,[null,0,4]).
a(abisc,acolor,[and,1,4]).
a(abisc,aderived,[null,0,4]).
a(abisc,aaccessories,[null,0,4]).
a(abisc,agrade,[and,0,5]).
a(abisc,aengine,[and,0,5]).
a(abisc,adrive,[and,0,5]).
a(abisc,apsgrcount,[and,0,5]).
a(abisc,amodelcode,[and,0,5]).
a(abisc,abase,[and,0,6]).
a(abisc,ale,[and,0,6]).
a(abisc,ase,[and,0,6]).
a(abisc,axle,[and,0,6]).
a(abisc,altd,[and,0,6]).
a(abisc,axlenavigationpackage,[and,0,7]).
a(abisc,axlepremiumpackage,[and,0,7]).
a(abisc,al4,[and,0,6]).
a(abisc,av6,[and,0,6]).
a(abisc,a2wd,[and,0,6]).
a(abisc,aawd,[and,0,6]).
a(abisc,a7psgr,[and,0,6]).
a(abisc,a8psgr,[and,0,6]).
a(abisc,a5312,[and,0,6]).
a(abisc,a5328,[and,0,6]).
a(abisc,aexteriorcolor,[and,1,5]).
a(abisc,ainteriorcolor,[xor,2,5]).
a(abisc,asilverskymetallic,[and,1,6]).
a(abisc,asuperwhite,[and,1,6]).
a(abisc,ablizzardpearl,[and,1,6]).
a(abisc,abisc,[null,3,6]).
a(abisc,agray,[xor,2,6]).
a(abisc,acharcoal,[xor,2,6]).
a(abisc,aantenna,[and,0,5]).
a(abisc,ainglass,[and,0,6]).
a(abisc,apole,[and,0,6]).
a(abisc,afloormats,[null,0,5]).
a(abisc,amudflaps,[null,0,5]).
a(abisc,asienna,[null,0,3]).
a(agray,atrim,[null,0,4]).
a(agray,acolor,[and,1,4]).
a(agray,aderived,[null,0,4]).
a(agray,aaccessories,[null,0,4]).
a(agray,agrade,[and,0,5]).
a(agray,aengine,[and,0,5]).
a(agray,adrive,[and,0,5]).
a(agray,apsgrcount,[and,0,5]).
a(agray,amodelcode,[and,0,5]).
a(agray,abase,[and,0,6]).
a(agray,ale,[and,0,6]).
a(agray,ase,[and,0,6]).
a(agray,axle,[and,0,6]).
a(agray,altd,[and,0,6]).
a(agray,axlenavigationpackage,[and,0,7]).
a(agray,axlepremiumpackage,[and,0,7]).
a(agray,al4,[and,0,6]).
a(agray,av6,[and,0,6]).
a(agray,a2wd,[and,0,6]).
a(agray,aawd,[and,0,6]).
a(agray,a7psgr,[and,0,6]).
a(agray,a8psgr,[and,0,6]).
a(agray,a5312,[and,0,6]).
a(agray,a5328,[and,0,6]).
a(agray,aexteriorcolor,[and,1,5]).
a(agray,ainteriorcolor,[xor,2,5]).
a(agray,asilverskymetallic,[and,1,6]).
a(agray,asuperwhite,[and,1,6]).
a(agray,ablizzardpearl,[and,1,6]).
a(agray,abisc,[xor,2,6]).
a(agray,agray,[null,3,6]).
a(agray,acharcoal,[xor,2,6]).
a(agray,aantenna,[and,0,5]).
a(agray,ainglass,[and,0,6]).
a(agray,apole,[and,0,6]).
a(agray,afloormats,[null,0,5]).
a(agray,amudflaps,[null,0,5]).
a(agray,asienna,[null,0,3]).
a(acharcoal,atrim,[null,0,4]).
a(acharcoal,acolor,[and,1,4]).
a(acharcoal,aderived,[null,0,4]).
a(acharcoal,aaccessories,[null,0,4]).
a(acharcoal,agrade,[and,0,5]).
a(acharcoal,aengine,[and,0,5]).
a(acharcoal,adrive,[and,0,5]).
a(acharcoal,apsgrcount,[and,0,5]).
a(acharcoal,amodelcode,[and,0,5]).
a(acharcoal,abase,[and,0,6]).
a(acharcoal,ale,[and,0,6]).
a(acharcoal,ase,[and,0,6]).
a(acharcoal,axle,[and,0,6]).
a(acharcoal,altd,[and,0,6]).
a(acharcoal,axlenavigationpackage,[and,0,7]).
a(acharcoal,axlepremiumpackage,[and,0,7]).
a(acharcoal,al4,[and,0,6]).
a(acharcoal,av6,[and,0,6]).
a(acharcoal,a2wd,[and,0,6]).
a(acharcoal,aawd,[and,0,6]).
a(acharcoal,a7psgr,[and,0,6]).
a(acharcoal,a8psgr,[and,0,6]).
a(acharcoal,a5312,[and,0,6]).
a(acharcoal,a5328,[and,0,6]).
a(acharcoal,aexteriorcolor,[and,1,5]).
a(acharcoal,ainteriorcolor,[xor,2,5]).
a(acharcoal,asilverskymetallic,[and,1,6]).
a(acharcoal,asuperwhite,[and,1,6]).
a(acharcoal,ablizzardpearl,[and,1,6]).
a(acharcoal,abisc,[xor,2,6]).
a(acharcoal,agray,[xor,2,6]).
a(acharcoal,acharcoal,[null,3,6]).
a(acharcoal,aantenna,[and,0,5]).
a(acharcoal,ainglass,[and,0,6]).
a(acharcoal,apole,[and,0,6]).
a(acharcoal,afloormats,[null,0,5]).
a(acharcoal,amudflaps,[null,0,5]).
a(acharcoal,asienna,[null,0,3]).
a(aantenna,atrim,[null,0,3]).
a(aantenna,acolor,[null,0,3]).
a(aantenna,aderived,[and,1,3]).
a(aantenna,aaccessories,[null,0,3]).
a(aantenna,agrade,[and,0,4]).
a(aantenna,aengine,[and,0,4]).
a(aantenna,adrive,[and,0,4]).
a(aantenna,apsgrcount,[and,0,4]).
a(aantenna,amodelcode,[and,0,4]).
a(aantenna,abase,[and,0,5]).
a(aantenna,ale,[and,0,5]).
a(aantenna,ase,[and,0,5]).
a(aantenna,axle,[and,0,5]).
a(aantenna,altd,[and,0,5]).
a(aantenna,axlenavigationpackage,[and,0,6]).
a(aantenna,axlepremiumpackage,[and,0,6]).
a(aantenna,al4,[and,0,5]).
a(aantenna,av6,[and,0,5]).
a(aantenna,a2wd,[and,0,5]).
a(aantenna,aawd,[and,0,5]).
a(aantenna,a7psgr,[and,0,5]).
a(aantenna,a8psgr,[and,0,5]).
a(aantenna,a5312,[and,0,5]).
a(aantenna,a5328,[and,0,5]).
a(aantenna,aexteriorcolor,[and,0,4]).
a(aantenna,ainteriorcolor,[and,0,4]).
a(aantenna,asilverskymetallic,[and,0,5]).
a(aantenna,asuperwhite,[and,0,5]).
a(aantenna,ablizzardpearl,[and,0,5]).
a(aantenna,abisc,[and,0,5]).
a(aantenna,agray,[and,0,5]).
a(aantenna,acharcoal,[and,0,5]).
a(aantenna,aantenna,[xor,2,4]).
a(aantenna,ainglass,[xor,2,5]).
a(aantenna,apole,[xor,2,5]).
a(aantenna,afloormats,[null,0,4]).
a(aantenna,amudflaps,[null,0,4]).
a(aantenna,asienna,[null,0,2]).
a(ainglass,atrim,[null,0,4]).
a(ainglass,acolor,[null,0,4]).
a(ainglass,aderived,[and,1,4]).
a(ainglass,aaccessories,[null,0,4]).
a(ainglass,agrade,[and,0,5]).
a(ainglass,aengine,[and,0,5]).
a(ainglass,adrive,[and,0,5]).
a(ainglass,apsgrcount,[and,0,5]).
a(ainglass,amodelcode,[and,0,5]).
a(ainglass,abase,[and,0,6]).
a(ainglass,ale,[and,0,6]).
a(ainglass,ase,[and,0,6]).
a(ainglass,axle,[and,0,6]).
a(ainglass,altd,[and,0,6]).
a(ainglass,axlenavigationpackage,[and,0,7]).
a(ainglass,axlepremiumpackage,[and,0,7]).
a(ainglass,al4,[and,0,6]).
a(ainglass,av6,[and,0,6]).
a(ainglass,a2wd,[and,0,6]).
a(ainglass,aawd,[and,0,6]).
a(ainglass,a7psgr,[and,0,6]).
a(ainglass,a8psgr,[and,0,6]).
a(ainglass,a5312,[and,0,6]).
a(ainglass,a5328,[and,0,6]).
a(ainglass,aexteriorcolor,[and,0,5]).
a(ainglass,ainteriorcolor,[and,0,5]).
a(ainglass,asilverskymetallic,[and,0,6]).
a(ainglass,asuperwhite,[and,0,6]).
a(ainglass,ablizzardpearl,[and,0,6]).
a(ainglass,abisc,[and,0,6]).
a(ainglass,agray,[and,0,6]).
a(ainglass,acharcoal,[and,0,6]).
a(ainglass,aantenna,[xor,2,5]).
a(ainglass,ainglass,[null,3,6]).
a(ainglass,apole,[xor,2,6]).
a(ainglass,afloormats,[null,0,5]).
a(ainglass,amudflaps,[null,0,5]).
a(ainglass,asienna,[null,0,3]).
a(apole,atrim,[null,0,4]).
a(apole,acolor,[null,0,4]).
a(apole,aderived,[and,1,4]).
a(apole,aaccessories,[null,0,4]).
a(apole,agrade,[and,0,5]).
a(apole,aengine,[and,0,5]).
a(apole,adrive,[and,0,5]).
a(apole,apsgrcount,[and,0,5]).
a(apole,amodelcode,[and,0,5]).
a(apole,abase,[and,0,6]).
a(apole,ale,[and,0,6]).
a(apole,ase,[and,0,6]).
a(apole,axle,[and,0,6]).
a(apole,altd,[and,0,6]).
a(apole,axlenavigationpackage,[and,0,7]).
a(apole,axlepremiumpackage,[and,0,7]).
a(apole,al4,[and,0,6]).
a(apole,av6,[and,0,6]).
a(apole,a2wd,[and,0,6]).
a(apole,aawd,[and,0,6]).
a(apole,a7psgr,[and,0,6]).
a(apole,a8psgr,[and,0,6]).
a(apole,a5312,[and,0,6]).
a(apole,a5328,[and,0,6]).
a(apole,aexteriorcolor,[and,0,5]).
a(apole,ainteriorcolor,[and,0,5]).
a(apole,asilverskymetallic,[and,0,6]).
a(apole,asuperwhite,[and,0,6]).
a(apole,ablizzardpearl,[and,0,6]).
a(apole,abisc,[and,0,6]).
a(apole,agray,[and,0,6]).
a(apole,acharcoal,[and,0,6]).
a(apole,aantenna,[xor,2,5]).
a(apole,ainglass,[xor,2,6]).
a(apole,apole,[null,3,6]).
a(apole,afloormats,[null,0,5]).
a(apole,amudflaps,[null,0,5]).
a(apole,asienna,[null,0,3]).
a(afloormats,atrim,[null,0,3]).
a(afloormats,acolor,[null,0,3]).
a(afloormats,aderived,[null,0,3]).
a(afloormats,aaccessories,[opt,1,3]).
a(afloormats,agrade,[null,0,4]).
a(afloormats,aengine,[null,0,4]).
a(afloormats,adrive,[null,0,4]).
a(afloormats,apsgrcount,[null,0,4]).
a(afloormats,amodelcode,[null,0,4]).
a(afloormats,abase,[null,0,5]).
a(afloormats,ale,[null,0,5]).
a(afloormats,ase,[null,0,5]).
a(afloormats,axle,[null,0,5]).
a(afloormats,altd,[null,0,5]).
a(afloormats,axlenavigationpackage,[null,0,6]).
a(afloormats,axlepremiumpackage,[null,0,6]).
a(afloormats,al4,[null,0,5]).
a(afloormats,av6,[null,0,5]).
a(afloormats,a2wd,[null,0,5]).
a(afloormats,aawd,[null,0,5]).
a(afloormats,a7psgr,[null,0,5]).
a(afloormats,a8psgr,[null,0,5]).
a(afloormats,a5312,[null,0,5]).
a(afloormats,a5328,[null,0,5]).
a(afloormats,aexteriorcolor,[null,0,4]).
a(afloormats,ainteriorcolor,[null,0,4]).
a(afloormats,asilverskymetallic,[null,0,5]).
a(afloormats,asuperwhite,[null,0,5]).
a(afloormats,ablizzardpearl,[null,0,5]).
a(afloormats,abisc,[null,0,5]).
a(afloormats,agray,[null,0,5]).
a(afloormats,acharcoal,[null,0,5]).
a(afloormats,aantenna,[null,0,4]).
a(afloormats,ainglass,[null,0,5]).
a(afloormats,apole,[null,0,5]).
a(afloormats,afloormats,[null,2,4]).
a(afloormats,amudflaps,[opt,1,4]).
a(afloormats,asienna,[null,0,2]).
a(amudflaps,atrim,[null,0,3]).
a(amudflaps,acolor,[null,0,3]).
a(amudflaps,aderived,[null,0,3]).
a(amudflaps,aaccessories,[opt,1,3]).
a(amudflaps,agrade,[null,0,4]).
a(amudflaps,aengine,[null,0,4]).
a(amudflaps,adrive,[null,0,4]).
a(amudflaps,apsgrcount,[null,0,4]).
a(amudflaps,amodelcode,[null,0,4]).
a(amudflaps,abase,[null,0,5]).
a(amudflaps,ale,[null,0,5]).
a(amudflaps,ase,[null,0,5]).
a(amudflaps,axle,[null,0,5]).
a(amudflaps,altd,[null,0,5]).
a(amudflaps,axlenavigationpackage,[null,0,6]).
a(amudflaps,axlepremiumpackage,[null,0,6]).
a(amudflaps,al4,[null,0,5]).
a(amudflaps,av6,[null,0,5]).
a(amudflaps,a2wd,[null,0,5]).
a(amudflaps,aawd,[null,0,5]).
a(amudflaps,a7psgr,[null,0,5]).
a(amudflaps,a8psgr,[null,0,5]).
a(amudflaps,a5312,[null,0,5]).
a(amudflaps,a5328,[null,0,5]).
a(amudflaps,aexteriorcolor,[null,0,4]).
a(amudflaps,ainteriorcolor,[null,0,4]).
a(amudflaps,asilverskymetallic,[null,0,5]).
a(amudflaps,asuperwhite,[null,0,5]).
a(amudflaps,ablizzardpearl,[null,0,5]).
a(amudflaps,abisc,[null,0,5]).
a(amudflaps,agray,[null,0,5]).
a(amudflaps,acharcoal,[null,0,5]).
a(amudflaps,aantenna,[null,0,4]).
a(amudflaps,ainglass,[null,0,5]).
a(amudflaps,apole,[null,0,5]).
a(amudflaps,afloormats,[opt,1,4]).
a(amudflaps,amudflaps,[null,2,4]).
a(amudflaps,asienna,[null,0,2]).
a(asienna,atrim,[null,0,1]).
a(asienna,acolor,[null,0,1]).
a(asienna,aderived,[null,0,1]).
a(asienna,aaccessories,[null,0,1]).
a(asienna,agrade,[null,0,2]).
a(asienna,aengine,[null,0,2]).
a(asienna,adrive,[null,0,2]).
a(asienna,apsgrcount,[null,0,2]).
a(asienna,amodelcode,[null,0,2]).
a(asienna,abase,[null,0,3]).
a(asienna,ale,[null,0,3]).
a(asienna,ase,[null,0,3]).
a(asienna,axle,[null,0,3]).
a(asienna,altd,[null,0,3]).
a(asienna,axlenavigationpackage,[null,0,4]).
a(asienna,axlepremiumpackage,[null,0,4]).
a(asienna,al4,[null,0,3]).
a(asienna,av6,[null,0,3]).
a(asienna,a2wd,[null,0,3]).
a(asienna,aawd,[null,0,3]).
a(asienna,a7psgr,[null,0,3]).
a(asienna,a8psgr,[null,0,3]).
a(asienna,a5312,[null,0,3]).
a(asienna,a5328,[null,0,3]).
a(asienna,aexteriorcolor,[null,0,2]).
a(asienna,ainteriorcolor,[null,0,2]).
a(asienna,asilverskymetallic,[null,0,3]).
a(asienna,asuperwhite,[null,0,3]).
a(asienna,ablizzardpearl,[null,0,3]).
a(asienna,abisc,[null,0,3]).
a(asienna,agray,[null,0,3]).
a(asienna,acharcoal,[null,0,3]).
a(asienna,aantenna,[null,0,2]).
a(asienna,ainglass,[null,0,3]).
a(asienna,apole,[null,0,3]).
a(asienna,afloormats,[null,0,2]).
a(asienna,amudflaps,[null,0,2]).
a(asienna,asienna,[null,0,0]).

test :-LstFt =[ATRIM,ACOLOR,ADERIVED,AACCESSORIES,AGRADE,AENGINE,ADRIVE,APSGRCOUNT,AMODELCODE,ABASE,ALE,ASE,AXLE,ALTD,AXLENAVIGATIONPACKAGE,AXLEPREMIUMPACKAGE,AL4,AV6,A2WD,AAWD,A7PSGR,A8PSGR,A5312,A5328,AEXTERIORCOLOR,AINTERIORCOLOR,ASILVERSKYMETALLIC,ASUPERWHITE,ABLIZZARDPEARL,ABISC,AGRAY,ACHARCOAL,AANTENNA,AINGLASS,APOLE,AFLOORMATS,AMUDFLAPS,ASIENNA],
 Ctr = [ and(ASIENNA,[ATRIM,ACOLOR,ADERIVED]),opt(ASIENNA,[AACCESSORIES]), and(ATRIM,[AGRADE,AENGINE,ADRIVE,APSGRCOUNT,AMODELCODE]), xor(AGRADE,[ABASE,ALE,ASE,AXLE,ALTD]),    opt(AXLE,[AXLENAVIGATIONPACKAGE,AXLEPREMIUMPACKAGE]),    xor(AENGINE,[AL4,AV6]),   xor(ADRIVE,[A2WD,AAWD]),   xor(APSGRCOUNT,[A7PSGR,A8PSGR]),   xor(AMODELCODE,[A5312,A5328]),   and(ACOLOR,[AEXTERIORCOLOR,AINTERIORCOLOR]), xor(AEXTERIORCOLOR,[ASILVERSKYMETALLIC,ASUPERWHITE,ABLIZZARDPEARL]),    xor(AINTERIORCOLOR,[ABISC,AGRAY,ACHARCOAL]),    and(ADERIVED,[AANTENNA]), xor(AANTENNA,[AINGLASS,APOLE]),   opt(AACCESSORIES,[AFLOORMATS,AMUDFLAPS]),  require(A5312,ABASE),require(AXLENAVIGATIONPACKAGE,AINGLASS),require(AXLEPREMIUMPACKAGE,AINGLASS),require(ALTD,AINGLASS),require(ALE,APOLE),require(ASE,APOLE),require(ACHARCOAL,ASE),require(ABASE,APOLE)],
 Att = [put_atts(ATRIM ,ftAttr(atrim,_)),
put_atts(ACOLOR ,ftAttr(acolor,_)),
put_atts(ADERIVED ,ftAttr(aderived,_)),
put_atts(AACCESSORIES ,ftAttr(aaccessories,_)),
put_atts(AGRADE ,ftAttr(agrade,_)),
put_atts(AENGINE ,ftAttr(aengine,_)),
put_atts(ADRIVE ,ftAttr(adrive,_)),
put_atts(APSGRCOUNT ,ftAttr(apsgrcount,_)),
put_atts(AMODELCODE ,ftAttr(amodelcode,_)),
put_atts(ABASE ,ftAttr(abase,_)),
put_atts(ALE ,ftAttr(ale,_)),
put_atts(ASE ,ftAttr(ase,_)),
put_atts(AXLE ,ftAttr(axle,_)),
put_atts(ALTD ,ftAttr(altd,_)),
put_atts(AXLENAVIGATIONPACKAGE ,ftAttr(axlenavigationpackage,_)),
put_atts(AXLEPREMIUMPACKAGE ,ftAttr(axlepremiumpackage,_)),
put_atts(AL4 ,ftAttr(al4,_)),
put_atts(AV6 ,ftAttr(av6,_)),
put_atts(A2WD ,ftAttr(a2wd,_)),
put_atts(AAWD ,ftAttr(aawd,_)),
put_atts(A7PSGR ,ftAttr(a7psgr,_)),
put_atts(A8PSGR ,ftAttr(a8psgr,_)),
put_atts(A5312 ,ftAttr(a5312,_)),
put_atts(A5328 ,ftAttr(a5328,_)),
put_atts(AEXTERIORCOLOR ,ftAttr(aexteriorcolor,_)),
put_atts(AINTERIORCOLOR ,ftAttr(ainteriorcolor,_)),
put_atts(ASILVERSKYMETALLIC ,ftAttr(asilverskymetallic,_)),
put_atts(ASUPERWHITE ,ftAttr(asuperwhite,_)),
put_atts(ABLIZZARDPEARL ,ftAttr(ablizzardpearl,_)),
put_atts(ABISC ,ftAttr(abisc,_)),
put_atts(AGRAY ,ftAttr(agray,_)),
put_atts(ACHARCOAL ,ftAttr(acharcoal,_)),
put_atts(AANTENNA ,ftAttr(aantenna,_)),
put_atts(AINGLASS ,ftAttr(ainglass,_)),
put_atts(APOLE ,ftAttr(apole,_)),
put_atts(AFLOORMATS ,ftAttr(afloormats,_)),
put_atts(AMUDFLAPS ,ftAttr(amudflaps,_)),
put_atts(ASIENNA ,ftAttr(asienna,0))
],

        length(LstFt,NbFt),
        writeln('Nb NbFt :'),
        writeln(NbFt),
        length(Ctr,CtrLeng),
        writeln('Nb Ctr :'),
        writeln(CtrLeng),
           callRec(Att),
          borneRec(LstFt),    
         callRec(Ctr),         
        length(LstFt,SizeMat),
        matrice(M,SizeMat,50),
        limitMatrix(M,LstFt),
        pairwiseGenerator(LstFt,M,PWCTRLST,RANKLST),callRec(PWCTRLST),  
        contrainteFDV2(M,LstFt,Ctr,Res),
        callRec(Res),
        alldiffrec(RANKLST),
        flatten(RANKLST,Ilist),  
        my_sort(Ilist,LLL),
        domain(LLL,1,50),
        maximum(K,LLL),
        writeln('Nb Paire :'),
        length(Ilist,Nbpaire),
        writeln(Nbpaire),
        labeling([ff],LLL),
      /*  mytranspose(M,M3),*/
            submatrix(M,M2,K),
        writeMat('matrix.txt',M2),
        writeln(K).
